|
A typing of an expression which may include {type variables}. E.g. x . x :: a -> a where a is a generic type variable> which may be instantiated to any type. (1994-10-31) generic type variable> which may be instantiated to any type. (1994-10-31) スポンサード リンク
|